Quantified LP
نویسنده
چکیده
An extension, QLP, of the propositional logic of explicit proofs, LP, is created, allowing quantification over proofs. The resulting logic is given an axiomatization, a Kripke-style semantics, and soundness and completeness are shown. It is shown that S4 embeds into the logic, when we translate the necessity operator using a quantifier: there exists an explicit proof. And it is shown that the propositional part of QLP is exactly LP. No connection with arithmetic provability is made.
منابع مشابه
TR-2004019: Quantified LP
An extension, QLP, of the propositional logic of explicit proofs, LP, is created, allowing quantification over proofs. The resulting logic is given an axiomatization, a Kripke-style semantics, and soundness and completeness are shown. It is shown that S4 embeds into the logic, when we translate the necessity operator using a quantifier: there exists an explicit proof. And it is shown that the p...
متن کاملLatex immunoassay of human serum Lp(a+) lipoprotein.
A sensitive latex immunoassay for human serum lipoprotein Lp(a+) is based on direct agglutination by Lp(a+) of latex particles coated with specific antibody. The agglutination is quantified by turbidimetry using a photometer at 360 nm. The stabilization of antibody-coated latex particles by bovine serum albumin occurs under well-defined conditions (pH, concentration of bovine serum albumin, and...
متن کاملRelational Linear Programs
We propose relational linear programming, a simple framework for combing linear programs (LPs) and logic programs. A relational linear program (RLP) is a declarative LP template defining the objective and the constraints through the logical concepts of objects, relations, and quantified variables. This allows one to express the LP objective and constraints relationally for a varying number of i...
متن کاملRelationship of plasma lipoprotein Lp(a) levels to race and to apolipoprotein B.
Lipoprotein Lp(a) is an atherogenic subfraction of plasma lipoproteins which has been studied predominantly in white populations. We quantified Lp(a) by electroimmunoassay in plasma from 105 black and 134 white healthy men and women. Results were correlated with clinical variables and plasma levels of lipids, other lipoproteins, and apolipoprotein (apo) B determined by radioimmunoassay. Black s...
متن کاملA monoclonal-antibody-based enzyme-linked immunosorbent assay of lipoprotein(a).
Lipoprotein(a) [Lp(a)] is a low-density lipoprotein (LDL)-like lipoprotein particle recently described as a risk factor for premature coronary heart disease, stroke, and atherosclerosis. Structurally, Lp(a) is similar to LDL in that it has comparable lipid composition and contains apolipoprotein B-100 (apo B-100). In addition, Lp(a) contains the glycoprotein apolipoprotein(a) [apo(a)], which is...
متن کامل